Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
561	ALGORITHMS FOR BOOLEAN FUNCTION QUERY PROPERTIES SCOTT AARONSON∗ Abstract. We investigate efficient algorithms for computing Boolean function properties relevant to query complexity. Such properties include, for exampl Add to Reading List Source URL: www.scottaaronson.com Language: English - Date: 2006-11-24 03:47:48 Computational complexity theory Analysis of algorithms Boolean algebra Complexity classes Decision tree model Time complexity Circuit complexity Randomized algorithm Circuit Theoretical computer science Applied mathematics Mathematics
562	Soundness, idempotence and commutativity of set-sharing Add to Reading List Source URL: eprints.whiterose.ac.uk Language: English - Date: 2014-06-06 13:46:56 Model theory Automated theorem proving Logic programming Unification Structure Interpretation Idempotence Mathematics Abstract algebra Algebra
563	Lecture Notes: Introduction to Categorical Logic [DRAFT: January 15, 2003] Steven Awodey Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-07-29 07:19:16 Algebraic structures Mathematical structures Mathematical logic Algebraic theory Structure Sheaf Group theory Cartesian closed category Model theory Mathematics Algebra Abstract algebra
564	A New Computation Model for Cluster Computing Foto N. Afrati∗, and Jeffrey D. Ullman† December 30, 2009 Abstract Implementations of map-reduce are being used to perform many operations on very large Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2009-12-30 16:05:05 Computing Bitonic sorter Algorithm External sorting Merge sort Quicksort Sorting network Randomized algorithm MapReduce Sorting algorithms Mathematics Order theory
565	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2013-10-30 13:54:10 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering
566	Model-Based Execution Monitoring Marcus Bjareland April 24, 2001 Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:36:21 Control engineering Automation Distributed control system Industrial automation Fault detection and isolation Thesis Systems theory Technology Education
567	PMON+: A Fluent Logic for Action and Change Formal Specication, Version 1.0 Patrick Doherty Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:04 Model theory Interpretation Philosophy of language Philosophy of mind Semantics Term Axiom Function Type theory Logic Mathematics Mathematical logic
568	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics
569	Preferential Action Semantics (Preliminary Report) John-Jules Ch. Meyer and Patrick Doherty Abstract In this paper, we propose a new way of considering reasoning about action and change. Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:29:17 Semantics Model theory Logic in computer science Knowledge representation Logic programming Kripke semantics Semantics of programming languages Interpretation E-Prime Logic Mathematical logic Mathematics
570	Computational Modeling vs. Computational Explanation: Is Everything a Turing Machine, and Does It Matter to the Philosophy of Mind? © Gualtiero Piccinini[removed]Abstract Add to Reading List Source URL: philsci-archive.pitt.edu Language: English - Date: 2010-10-07 11:12:58 Cybernetics Computability theory Theory of computation Computational complexity theory Computational theory of mind Computational resource A New Kind of Science Actor model Computability Science Applied mathematics Theoretical computer science

UPDATE